TSTP Solution File: DAT205^1 by Nitpick---2016